|
|
Hierarchical Component Models - "A True Story"
Ježek, Pavel ; Plášil, František (advisor) ; Brada, Přemysl (referee) ; Crnkovic, Ivica (referee)
First, this thesis presents an analysis of diversity of component-based software engineering (CBSE) concepts and approaches, and provides a summary of selected runtime-aware component models structured according to newly proposed criteria. As a result of the analysis, hierarchical component models are identified as a CBSE domain still not sufficiently explored in the current research with respect to their lacking penetration into regular industrial use. The major part of the thesis consequently almost exclusively focuses on problems related to application of hierarchical component models to real-life applications development. The motivations for hierarchical structuring of application architectures are presented in the thesis and key advantages of hierarchical component models are thoroughly discussed and shown on examples from commercial software development. To verify the claims, two major case-studies are presented in the thesis and the Fractal component model is successfully applied to model and implement them focusing on formal verifiability of correctness of resulting component-based applications. The thesis proposes novel approaches to model dynamic architectures changing at runtime, to deal with complex error traces and a novel specification language for component environments, all resulting from...
|
|
|
Runtime Checking of Privacy and Security Contracts in Dynamic Architectures
Kliber, Filip ; Parízek, Pavel (advisor) ; Hnětynka, Petr (referee)
Important aspects of the IoT concept include privacy and security. There are various examples from the past, where implementation of security was insuffi- cient, which allowed hackers to gain unauthorized access to tens of thousands of everyday objects connected to the Internet and abuse this power to par- alyze the communication over the Internet. In this thesis we designed and implemented the Glinior tool that allows to define the contracts between objects or components in the application, and ensures that the communi- cation between specified objects or components happens according to those contracts. The Glinior tool uses techniques of dynamic analysis to verify contracts defined by the user. This is done by using the JVMTI framework with combination of the ASM library for bytecode manipulation.
|
|
|
Hierarchical Component Models - "A True Story"
Ježek, Pavel ; Plášil, František (advisor) ; Brada, Přemysl (referee) ; Crnkovic, Ivica (referee)
First, this thesis presents an analysis of diversity of component-based software engineering (CBSE) concepts and approaches, and provides a summary of selected runtime-aware component models structured according to newly proposed criteria. As a result of the analysis, hierarchical component models are identified as a CBSE domain still not sufficiently explored in the current research with respect to their lacking penetration into regular industrial use. The major part of the thesis consequently almost exclusively focuses on problems related to application of hierarchical component models to real-life applications development. The motivations for hierarchical structuring of application architectures are presented in the thesis and key advantages of hierarchical component models are thoroughly discussed and shown on examples from commercial software development. To verify the claims, two major case-studies are presented in the thesis and the Fractal component model is successfully applied to model and implement them focusing on formal verifiability of correctness of resulting component-based applications. The thesis proposes novel approaches to model dynamic architectures changing at runtime, to deal with complex error traces and a novel specification language for component environments, all resulting from...
|
guest ::
